Operational semantics

Results: 199



#Item
51Modules over monads for operational semantics Benedikt Ahrens Institut de Recherche en Informatique de Toulouse Université Paul Sabatier Journées GDR LTP

Modules over monads for operational semantics Benedikt Ahrens Institut de Recherche en Informatique de Toulouse Université Paul Sabatier Journées GDR LTP

Add to Reading List

Source URL: benedikt-ahrens.de

Language: English - Date: 2013-11-17 15:24:34
    52Operational Semantics for Multi-Language Programs Jacob Matthews University of Chicago and Robert Bruce Findler University of Chicago

    Operational Semantics for Multi-Language Programs Jacob Matthews University of Chicago and Robert Bruce Findler University of Chicago

    Add to Reading List

    Source URL: www.eecs.northwestern.edu

    Language: English - Date: 2008-12-19 01:24:32
      53Matteo Cimini Curriculum Vitae Indiana University, CREST 420 North Walnut Street, Bloomington, IndianaPhone: +

      Matteo Cimini Curriculum Vitae Indiana University, CREST 420 North Walnut Street, Bloomington, IndianaPhone: +

      Add to Reading List

      Source URL: cimini.info

      Language: English - Date: 2016-01-07 02:20:33
      54Manipulating Trees with Hidden Labels Luca Cardelli - Microsoft Research Philippa Gardner - Imperial College London Giorgio Ghelli - Università di Pisa Abstract. We define an operational semantics and a type system for

      Manipulating Trees with Hidden Labels Luca Cardelli - Microsoft Research Philippa Gardner - Imperial College London Giorgio Ghelli - Università di Pisa Abstract. We define an operational semantics and a type system for

      Add to Reading List

      Source URL: www.di.unipi.it

      Language: English - Date: 2003-04-11 12:19:43
        55MFPSMultimodal Separation Logic for Reasoning About Operational Semantics Robert Dockins

        MFPSMultimodal Separation Logic for Reasoning About Operational Semantics Robert Dockins

        Add to Reading List

        Source URL: rwd.rdockins.name

        Language: English - Date: 2015-10-04 14:40:34
          56Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics Jan Hoffmann and Martin Hofmann Ludwig-Maximilians-Universit¨at M¨unchen Abstract. This paper studies the problem of s

          Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics Jan Hoffmann and Martin Hofmann Ludwig-Maximilians-Universit¨at M¨unchen Abstract. This paper studies the problem of s

          Add to Reading List

          Source URL: www.tcs.ifi.lmu.de

          Language: English - Date: 2015-05-05 05:19:59
            57c Cambridge University Press 2009 JFP: page 1 of 24.  1 doi:S0956796809990219

            c Cambridge University Press 2009 JFP: page 1 of 24.  1 doi:S0956796809990219

            Add to Reading List

            Source URL: www.cs.ioc.ee

            Language: English - Date: 2009-10-12 08:32:22
            58View Operations on Objects with Roles for a Statically Typed Database Language: The Type Rules and the Operational Semantics ANTONIO ALBANO, GIUSEPPE ANTOGNONI, and GIORGIO GHELLI Dipartimento di Informatica, Universita

            View Operations on Objects with Roles for a Statically Typed Database Language: The Type Rules and the Operational Semantics ANTONIO ALBANO, GIUSEPPE ANTOGNONI, and GIORGIO GHELLI Dipartimento di Informatica, Universita

            Add to Reading List

            Source URL: www.di.unipi.it

            Language: English - Date: 2001-12-28 13:51:10
              59Operational Semantics for Multi-Language Programs Jacob Matthews University of Chicago and Robert Bruce Findler University of Chicago

              Operational Semantics for Multi-Language Programs Jacob Matthews University of Chicago and Robert Bruce Findler University of Chicago

              Add to Reading List

              Source URL: www.eecs.northwestern.edu

              Language: English - Date: 2008-12-19 01:24:32
                60CMSC 336: Type Systems for Programming Languages Lecture 2: Operational Semantics Acar & Ahmed 15 January 2008

                CMSC 336: Type Systems for Programming Languages Lecture 2: Operational Semantics Acar & Ahmed 15 January 2008

                Add to Reading List

                Source URL: ttic.uchicago.edu

                Language: English - Date: 2008-01-17 12:55:23